Formal grammar

Results: 748



#Item
91Computing / Parsing / Formal grammar / Syntax / Pattern matching / Sequence alignment / CYK algorithm / Formal languages / Software engineering / Computer programming

Syntax, Parsing and Production of Natural Language in a Framework of Information Compression by Multiple Alignment, Unification and Search∗ J Gerard Wolff (University of Wales, Bangor, UK

Add to Reading List

Source URL: www.cognitionresearch.org

Language: English - Date: 2012-01-09 18:21:58
92Programming language implementation / Software engineering / Parsing / XML / LL parser / LR parser / Document Type Definition / Context-free grammar / Deterministic context-free grammar / Formal languages / Computing / Compiler construction

Foundations of Fast Communication via XML Welf Löwe, Markus L. Noga, Thilo S. Gaul Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe Postfach 6980, 76128 Karlsruhe, Germany E-mail: {loewe |

Add to Reading List

Source URL: welf.se

Language: English - Date: 2013-04-23 05:41:26
93Science / Formal sciences / Bioinformatics / Formal grammar / Regular expression / Universal Turing machine / Pattern matching / Unification / Pattern / Applied mathematics / Formal languages / Mathematics

‘Computing’ as Information Compression by Multiple Alignment, Unification and Search∗ J Gerard Wolff (University of Wales, Bangor, UK )

Add to Reading List

Source URL: www.cognitionresearch.org

Language: English - Date: 2012-01-09 18:03:26
94Applied mathematics / Formal methods / Extended finite-state machine / Theory of computation / Finite-state machine / Algorithm / Grammar induction / Models of computation / Theoretical computer science / Computer science

Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu

Add to Reading List

Source URL: www.spacios.eu

Language: English - Date: 2014-02-06 15:50:08
95Mathematics / Computing / Formal languages / Law of total probability / Context-free grammar

Computation of Substring Probabilities in Stochastic Grammars Ana L. N. Fred Instituto de Telecomunicac~oes Instituto Superior Tecnico IST-Torre Norte, Av. Rovisco Pais, Lisboa, Portugal

Add to Reading List

Source URL: www.lx.it.pt

Language: English - Date: 2010-07-24 14:01:22
96Grammar / Context-free grammar / Formal grammar / LL parser / Regular expression / Pattern / Pattern theory / Controlled grammar / Formal languages / Combinatorics / Software engineering

Developing multi-level grammars in a framework of information compression by multiple alignment, unification and search Gerry Wolff CognitionResearch.org.uk Menai Bridge, UK.

Add to Reading List

Source URL: www.cognitionresearch.org

Language: English - Date: 2012-01-09 18:06:09
97Applied mathematics / LR parser / LL parser / Formal grammar / Humanoid robot / Context-free grammar / Robotics / Walking / Robot locomotion / Formal languages / Theoretical computer science / Software engineering

Correct Software Synthesis for Stable Speed-Controlled Robotic Walking Neil Dantam∗ , Ayonga Hereid† , Aaron Ames† , and Mike Stilman∗ ∗ Center for Robotics and Intelligent Machines, Georgia Institute of Techn

Add to Reading List

Source URL: www.bipedalrobotics.com

Language: English - Date: 2013-09-11 12:34:33
98Mathematics / Deterministic pushdown automaton / Parsing / Computability / Context-free grammar / Context-free language / Formal grammar / Finite-state machine / Recursive language / Formal languages / Theoretical computer science / Theory of computation

Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina

Add to Reading List

Source URL: langsec.org

Language: English - Date: 2011-12-01 11:57:54
99Software engineering / Context-free grammar / Formal grammar / Terminal and nonterminal symbols / Regular grammar / Production / Regular expression / Static single assignment form / Parsing expression grammar / Formal languages / Combinatorics / Mathematics

BRICS Basic Research in Computer Science BRICS RS-03-5 Christensen et al.: Precise Analysis of String Expressions

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2003-02-07 05:37:32
100Formal languages / Compiler construction / Syntax / Parsing / Parse tree / Dependency grammar / Treebank / Semantic role labeling / Formal grammar / Linguistics / Computational linguistics / Grammar

A Comparison of Alternative Parse Tree Paths for Labeling Semantic Roles Reid Swanson and Andrew S. Gordon Institute for Creative Technologies University of Southern CaliforniaFiji Way, Marina del Rey, CAUS

Add to Reading List

Source URL: people.ict.usc.edu

Language: English - Date: 2010-03-29 14:57:25
UPDATE